#ifndef _I386_DEBUG_H
#define _I386_DEBUG_H

void init_arch_debug();
void debug_putchar(char ch);

#endif  /* _I386_DEBUG_H */
